Language software - PDFSEARCH.IO - Document Search Engine

Language software
Results: 21611

#	Item
891	Optimizing R VM: Allocation Removal and Path Length Reduction via Interpreter-level Specialization Haichuan Wang1, Peng Wu2, David Padua1 1 University of Illinois at Urbana-Champaign Add to Reading List Source URL: cgo.org Language: English - Date: 2014-02-24 13:06:24 Computing Software Programming language implementation Compiler construction Cross-platform software Array programming languages Functional languages Interpreter Bytecode Just-in-time compilation Compiler Java
892	Efficient Formally Secure Compilers to a Tagged Architecture General Information machine-checked proofs of full abstraction with respect to a secure high-level semantics [3]. This is much stronger than Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2015-12-11 07:16:08 Software engineering Computing Software Compiler construction Formal methods Logic in computer science Programming language implementation Functional languages Programming language Semantics Compiler Low-level programming language
893	An Object Storage Model for the Truffle Language Implementation Framework Andreas W¨oß∗ Christian Wirth† Add to Reading List Source URL: chrisseaton.com Language: English - Date: 2016-02-28 16:25:13 Software engineering Computing Computer programming Data types Object-oriented programming Type theory Cross-platform software Immutable object JavaScript Const Method Java
894	Version 3.3.0 Introduction Archi® is a free, open source, cross-platform tool to create ArchiMate models. The Archi® modelling tool is targeted toward all levels of Enterprise Architects and Modellers. It provides a Add to Reading List Source URL: www.archimatetool.com Language: English - Date: 2015-10-05 05:10:48 Software Computing Enterprise architecture Information technology management Enterprise modelling Data modeling tools Integrated development environments ArchiMate Architecture description language Archi The Open Group Menu bar
895	Towards a Base Model for UML and OCL Verication? Frank Hilken, Philipp Niemann, Robert Wille, and Martin Gogolla University of Bremen, Computer Science Department DBremen, Germany Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2014-12-03 03:47:29 Software Computing Unified Modeling Language ISO standards Object Constraint Language ECO Class diagram Diagram Activity diagram Object Process Methodology Entityrelationship model YEd
896	Offering Language Based Services on Social Media by Identifying User’s Preferred Language(s) from Romanized Text Mitesh M. Khapra Salil Joshi Add to Reading List Source URL: www2013.wwwconference.org Language: English - Date: 2014-07-21 08:47:00 Software Computing Digital media Social networking services Blog hosting services Social media Social information processing Photo sharing Facebook Gmail Targeted advertising Internet
897	Helium, for Learning Haskell Bastiaan Heeren Daan Leijen Arjan van IJzendoorn Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2005-02-20 14:04:58 Software engineering Computer programming Programming language theory Functional languages Type theory Data types Functional programming Literate programming Haskell Type class Type inference OCaml
898	Personifying Programming Tool Feedback Improves Novice Programmersʼ Learning Michael J. Lee and Andrew J. Ko The Information School \| DUB Group University of Washington {mjslee, ajko}@uw.edu Add to Reading List Source URL: faculty.washington.edu Language: English - Date: 2011-09-30 17:50:25 Education Educational psychology English-language films Behavior Software Cognition Experimental psychology Human behavior Motivation Educational technology Subroutine Gidget
899	Softw Syst Model:525–532 DOIs10270EDITORIAL In memory of Robert B. France, Co-Founder and Editor-in-Chief Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2015-05-10 04:18:47 Software engineering Computing ISO standards Bernhard Rumpe Unified Modeling Language Kevin Lano Software and Systems Modeling Modeling language Jean-Marc Jzquel Domain-specific modeling Enterprise engineering
900	The Java™ Language Specification The Java™ Series Lisa Friendly, Series Editor Bill Joy, Technical Advisor Add to Reading List Source URL: titanium.cs.berkeley.edu Language: English - Date: 2014-04-29 06:11:54 Cross-platform software Java Concurrent programming languages Object-oriented programming C++ Constant Class C Sharp Literal Constructor C++ classes Inheritance

UPDATE